[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 52 54 55 165 0 0 46

N.S.

1 1.00 0.56 0.58 0.59 1.77 0.00 0.00 0.49

time (sec)

N/A 0.016 0.102 0.266 0.587 0.412 0.000 0.000 1.043

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 44 55 83 204 0 0 -1

N.S.

1 1.00 0.63 0.79 1.19 2.91 0.00 0.00 -0.01

time (sec)

N/A 0.022 0.063 0.270 0.659 0.429 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 45 45 80 188 0 0 82

N.S.

1 1.00 0.74 0.74 1.31 3.08 0.00 0.00 1.34

time (sec)

N/A 0.019 0.063 0.240 0.611 0.408 0.000 0.000 1.229

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 59 134 761 216 0 0 -1

N.S.

1 1.00 0.74 1.68 9.51 2.70 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.121 0.280 0.656 0.439 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 52 54 355 50 0 0 218

N.S.

1 1.00 0.64 0.67 4.38 0.62 0.00 0.00 2.69

time (sec)

N/A 0.034 0.158 0.253 0.606 0.348 0.000 0.000 2.546

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 81 214 2434 260 0 0 -1

N.S.

1 1.00 0.65 1.71 19.47 2.08 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.216 0.298 0.707 0.434 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 70 70 127 75 0 0 100

N.S.

1 1.00 0.56 0.56 1.02 0.60 0.00 0.00 0.80

time (sec)

N/A 0.047 0.286 0.356 0.620 0.374 0.000 0.000 2.160

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 67 88 92 219 0 0 72

N.S.

1 1.00 0.55 0.72 0.75 1.80 0.00 0.00 0.59

time (sec)

N/A 0.038 0.198 0.466 0.619 0.461 0.000 0.000 0.804

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 52 47 64 54 0 0 56

N.S.

1 1.00 0.65 0.59 0.80 0.68 0.00 0.00 0.70

time (sec)

N/A 0.023 0.146 0.265 0.602 0.370 0.000 0.000 0.560

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 52 54 59 171 0 0 48

N.S.

1 1.00 0.53 0.55 0.60 1.73 0.00 0.00 0.48

time (sec)

N/A 0.017 0.116 0.268 0.583 0.400 0.000 0.000 1.035

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 44 55 87 210 0 0 -1

N.S.

1 1.00 0.59 0.74 1.18 2.84 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.086 0.268 0.609 0.409 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 45 45 80 194 0 0 84

N.S.

1 1.00 0.69 0.69 1.23 2.98 0.00 0.00 1.29

time (sec)

N/A 0.021 0.086 0.245 0.583 0.441 0.000 0.000 1.186

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 59 134 821 222 0 0 -1

N.S.

1 1.00 0.70 1.60 9.77 2.64 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.110 0.289 0.654 0.417 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 51 54 367 54 0 0 220

N.S.

1 1.00 0.60 0.64 4.32 0.64 0.00 0.00 2.59

time (sec)

N/A 0.032 0.259 0.254 0.635 0.372 0.000 0.000 2.362

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 80 214 2662 270 0 0 -1

N.S.

1 1.00 0.61 1.63 20.32 2.06 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.193 0.286 0.697 0.465 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 67 88 75 207 0 0 115

N.S.

1 1.00 0.59 0.78 0.66 1.83 0.00 0.00 1.02

time (sec)

N/A 0.035 0.151 0.488 0.620 0.428 0.000 0.000 1.932

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 52 47 57 49 0 0 75

N.S.

1 1.00 0.70 0.64 0.77 0.66 0.00 0.00 1.01

time (sec)

N/A 0.021 0.094 0.325 0.620 0.368 0.000 0.000 0.950

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 52 54 52 169 146 0 81

N.S.

1 1.00 0.58 0.60 0.58 1.88 1.62 0.00 0.90

time (sec)

N/A 0.017 0.071 0.325 0.588 0.416 23.828 0.000 1.486

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 44 55 80 207 0 0 -1

N.S.

1 1.00 0.65 0.81 1.18 3.04 0.00 0.00 -0.01

time (sec)

N/A 0.022 0.051 0.320 0.601 0.440 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 45 45 85 191 0 0 84

N.S.

1 1.00 0.76 0.76 1.44 3.24 0.00 0.00 1.42

time (sec)

N/A 0.020 0.054 0.286 0.574 0.426 0.000 0.000 1.254

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 59 134 728 219 0 0 -1

N.S.

1 1.00 0.76 1.72 9.33 2.81 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.085 0.317 0.619 0.420 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 51 54 355 50 0 0 220

N.S.

1 1.00 0.65 0.68 4.49 0.63 0.00 0.00 2.78

time (sec)

N/A 0.031 0.139 0.303 0.623 0.364 0.000 0.000 2.827

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 80 214 2318 261 0 0 -1

N.S.

1 1.00 0.66 1.75 19.00 2.14 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.194 0.330 0.669 0.407 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 67 88 75 207 0 0 115

N.S.

1 1.00 0.55 0.72 0.61 1.70 0.00 0.00 0.94

time (sec)

N/A 0.037 0.154 0.452 0.646 0.422 0.000 0.000 1.961

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 52 47 57 49 0 0 75

N.S.

1 1.00 0.65 0.59 0.71 0.61 0.00 0.00 0.94

time (sec)

N/A 0.022 0.105 0.281 0.616 0.367 0.000 0.000 0.843

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 52 54 52 169 0 0 81

N.S.

1 1.00 0.53 0.55 0.53 1.71 0.00 0.00 0.82

time (sec)

N/A 0.017 0.083 0.284 0.579 0.503 0.000 0.000 0.704

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 44 55 80 207 0 0 -1

N.S.

1 1.00 0.59 0.74 1.08 2.80 0.00 0.00 -0.01

time (sec)

N/A 0.022 0.055 0.289 0.598 0.432 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 45 45 93 191 0 0 84

N.S.

1 1.00 0.69 0.69 1.43 2.94 0.00 0.00 1.29

time (sec)

N/A 0.020 0.063 0.266 0.572 0.450 0.000 0.000 1.240

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 59 134 736 219 0 0 -1

N.S.

1 1.00 0.70 1.60 8.76 2.61 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.081 0.283 0.625 0.410 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 51 54 380 50 0 0 220

N.S.

1 1.00 0.60 0.64 4.47 0.59 0.00 0.00 2.59

time (sec)

N/A 0.033 0.153 0.262 0.623 0.369 0.000 0.000 2.421

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 80 214 2350 261 0 0 -1

N.S.

1 1.00 0.61 1.63 17.94 1.99 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.131 0.282 0.648 0.440 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 70 88 75 207 0 0 115

N.S.

1 1.00 0.57 0.72 0.61 1.70 0.00 0.00 0.94

time (sec)

N/A 0.037 0.156 0.447 0.601 0.414 0.000 0.000 1.971

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 55 47 57 49 0 0 75

N.S.

1 1.00 0.69 0.59 0.71 0.61 0.00 0.00 0.94

time (sec)

N/A 0.022 0.064 0.275 0.622 0.395 0.000 0.000 0.839

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 55 54 52 169 0 0 81

N.S.

1 1.00 0.56 0.55 0.53 1.71 0.00 0.00 0.82

time (sec)

N/A 0.017 0.067 0.289 0.597 0.465 0.000 0.000 0.722

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 47 55 80 207 0 0 -1

N.S.

1 1.00 0.64 0.74 1.08 2.80 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.053 0.291 0.599 0.433 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 45 45 93 191 0 0 117

N.S.

1 1.00 0.69 0.69 1.43 2.94 0.00 0.00 1.80

time (sec)

N/A 0.020 0.059 0.271 0.583 0.397 0.000 0.000 1.900

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 59 135 754 219 0 0 -1

N.S.

1 1.00 0.70 1.61 8.98 2.61 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.080 0.309 0.625 0.411 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 51 54 412 50 0 0 220

N.S.

1 1.00 0.60 0.64 4.85 0.59 0.00 0.00 2.59

time (sec)

N/A 0.032 0.142 0.258 0.619 0.403 0.000 0.000 2.493

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 80 214 2418 261 0 0 -1

N.S.

1 1.00 0.61 1.63 18.46 1.99 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.166 0.286 0.648 0.448 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.133 0.316 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 91 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.183 0.293 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.118 0.240 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 88 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.137 0.296 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 88 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.181 0.313 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 96 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.131 0.326 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.125 0.318 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 91 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.177 0.301 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.122 0.229 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 88 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.133 0.287 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 88 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.181 0.303 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 96 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.137 0.330 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.272 0.326 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 91 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.170 0.306 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.115 0.248 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.030 0.303 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 90 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.044 0.320 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.158 0.332 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.116 0.228 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 91 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.038 0.378 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 87 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.032 0.219 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 283 0 0 0 0 0 -1

N.S.

1 1.00 3.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 3.831 0.263 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 101 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.840 0.356 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

92 92 481 0 0 0 0 0 -1

N.S.

1 1.00 5.23 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 6.308 0.361 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.137 0.233 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 91 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.132 0.367 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 87 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.117 0.212 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 277 0 0 0 0 0 -1

N.S.

1 1.00 3.08 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 3.978 0.269 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 103 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.797 0.362 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

92 92 473 0 0 0 0 0 -1

N.S.

1 1.00 5.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 6.298 0.293 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.209 0.235 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 90 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.120 0.362 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 87 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.043 0.151 0.210 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 104 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.651 0.270 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 90 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.226 0.359 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 91 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.226 0.299 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 138 142 0 0 0 0 0 -1

N.S.

1 0.93 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.312 0.285 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 136 142 0 0 0 0 0 -1

N.S.

1 0.93 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.240 0.277 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 136 142 0 0 0 0 0 -1

N.S.

1 0.93 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.334 0.257 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 136 142 0 0 0 0 0 -1

N.S.

1 0.93 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.313 0.263 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 142 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.274 0.262 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 139 142 0 0 0 0 0 -1

N.S.

1 0.93 0.95 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.286 0.257 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 132 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.270 0.607 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 122 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.218 0.208 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 120 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.204 0.214 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 114 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.182 0.152 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 111 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.250 0.214 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 117 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.222 0.197 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 114 0 0 0 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.182 0.200 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 122 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.189 0.181 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 132 140 0 0 0 0 0 -1

N.S.

1 0.93 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.245 0.227 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 132 140 0 0 0 0 0 -1

N.S.

1 0.93 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.222 0.242 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 132 140 0 0 0 0 0 -1

N.S.

1 0.93 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.198 0.217 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 140 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.197 0.270 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 140 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.190 0.255 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 132 140 0 0 0 0 0 -1

N.S.

1 0.94 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.191 0.213 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 132 140 0 0 0 0 0 -1

N.S.

1 0.93 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.205 0.214 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 132 140 0 0 0 0 0 -1

N.S.

1 0.93 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.199 0.217 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 238 0 0 0 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.144 1.654 0.218 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 175 0 0 0 0 0 -1

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.899 0.197 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 240 0 0 0 0 0 -1

N.S.

1 1.00 1.78 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.930 0.191 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]